Перевод: с русского на все языки

со всех языков на русский

checking procedure

См. также в других словарях:

  • Procedure word — Procedure words or prowords are words or phrases limited to radio telephone procedure used to facilitate communication by conveying information in a condensed standard form. [1] Contents 1 Universal prowords 1.1 SEND …   Wikipedia

  • Checking whether a coin is fair — In statistics, the question of checking whether a coin is fair is one whose importance lies, firstly, in providing a simple problem on which to illustrate basic ideas of statistical inference and, secondly, in providing a simple problem that can… …   Wikipedia

  • Checking if a coin is fair — In statistics, a fair coin is an idealized randomizing device with two states (usually named heads and tails ) which are equally likely to occur. It is based on the ubiquitous coin flip used in sports and other situations where it is necessary to …   Wikipedia

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • Dead checking — is U.S. military jargon for the practice of verifying the death of Iraqi insurgents and the subsequent killing of those who remain alive when U.S. Armed Forces enter an insurgent house in hot battle as part of Operation Iraqi Freedom. The term… …   Wikipedia

  • Partitioning minimization procedure — A fairly simple procedure to reduce the number of states in a state machine transition table.A partition denoted p1...p2...p3..etc. consists of one or more blocks where each block contains that may be equivalent but the states in a given block… …   Wikipedia

  • Link Access Procedure for Modems — (LAPM) is part of the V.42 error correction protocol for modems.LAPM is an error control protocol defined in ITU T recommendations V.42. Like many data link layer protocols, it is a variant of HDLC. Like the Microcom Networking Protocols that… …   Wikipedia

  • Beaver Bit-vector Decision Procedure — Beaver is a Satisfiability Modulo Theories (SMT) decision procedure for the theory of quantifier free finite precision bit vector arithmetic ( [http://combination.cs.uiowa.edu/smtlib/logics/QF BV.smt QF BV] ). Its prototype implementation… …   Wikipedia

  • Standard Assessment Procedure — The Standard Assessment Procedure (SAP) is the UK Government s recommended method system for measuring the energy rating of residential dwellings. [cite book |title = Approved Document L1A: Conservation of fuel and power (New dwellings) (2006… …   Wikipedia

  • Sanchin — Nihongo|Sanchin|サンチン|Sanchin is a kata of Southern Chinese (Fujianese) origin that is considered to be the core of several styles, the most well known being the Goju Ryu and Uechi Ryu styles of Karate as well as the Chinese martial arts of Fujian …   Wikipedia

  • Probabilistically checkable proof — In computational complexity theory, a probabilistically checkable proof (PCP) is a type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof. The algorithm… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»